This approach can verify program correctness approximately, or generate a set of test cases according to some coverage criterion in software testing 它可以近似地驗證程序的正確性,也可以依據(jù)軟件測試的標(biāo)準(zhǔn),按某種覆蓋度要求生成測試用例。
In software testing, the design of generating cases testing, which is based on the requirement and design of the software, is the key point as well as a difficult one . to select a set of right cases, the full coverage criteria must be set up first 而測試用例的生成設(shè)計又是軟件測試過程中的難點和重點所在,而它的主要依據(jù)應(yīng)該來自于軟件需求和軟件設(shè)計,其中要涉及到測試用例的充分性覆蓋準(zhǔn)則問題。
The model testing process : first, making the space structure of the uml statechart into two-dimensional structure of tfg; secondly, with the test coverage criteria covering tfg, we can get the test sequences of events according with the transition of the state 該模型的測試過程是,首先,把空間結(jié)構(gòu)的uml狀態(tài)圖轉(zhuǎn)換為易于分析的平面結(jié)構(gòu)圖?tfg;其次,使用分支覆蓋標(biāo)準(zhǔn)覆蓋tfg圖,得到符合狀態(tài)遷移的消息事件測試序列。